$\forall$$A$:Realizer. $\neg$Rplus?($A$) $\Rightarrow$ R{-}size($A$) $=$ 1